More from this Author

Topology via Logic

by Steven Vickers, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)

The Optimal Implementation of Functional Programming Languages

by Andrea Asperti, Stefano Guerrini, S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. V. De Bakker (Contribution by), C. J. van Rijsbergen (Contribution by)

Basic Proof Theory

by A. S. Troelstra, H. Schwichtenberg, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)

Metamathematics, Machines and Gödel's Proof

by N. Shankar, C. J. van Rijsbergen (Contribution by)

Modal Logic

by Patrick Blackburn, Yde Venema, Maarten De Rijke, C. J. van Rijsbergen (Contribution by)

Term Rewriting Systems

by J. W. Klop, R. C. De Vrijer, S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), Terese, J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by), C. J. van Rijsbergen (Contribution by)

Domains and Lambda-Calculi

by Roberto M. Amadio, Pierre-Louis Curien, C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)

Advances in Databases and Information Systems

by R. Manthey (Editor), V. Wolfengagen (Editor), C. J. van Rijsbergen (Contribution by)

Belief Revision

by Peter Gärdenfors (Editor), C. J. van Rijsbergen (Contribution by), S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by)